翻訳と辞書 |
Up tack
The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode〔(【引用サイトリンク】 url=http://www.unicode.org/charts/PDF/U2200.pdf )〕) is a constant symbol used to represent: * The bottom element in lattice theory * The bottom type in type theory * A logical constant denoting contradiction in logic (false) The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). The tee (⊤), also called down tack, plays a complementary or dual role in many of these theories. The similar-looking perpendicular symbol (⟂, \perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent: * Perpendicularity of lines in geometry * Orthogonality in linear algebra * Independence of random variables in probability theory * Comparability in order theory * Coprimality in number theory == See also ==
* Tee (symbol) (⊤) * Table of mathematical symbols * Alternative plus sign * List of mathematical symbols
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Up tack」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|